<html>
<head>
<title>listwords</title>
</head>
<body>
<h1>listwords</h1>
Print the list of words in the dictionary to stdout.</body>
</html>

